Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
91	Reversible Session-Based Pi-CalculusI Francesco Tiezzia,∗, Nobuko Yoshidab a b University of Camerino, Italy Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:06:59 Models of computation Computer science Computability theory Mathematics Π-calculus Process calculus Actor model Reversible computing Lambda calculus Theoretical computer science Process calculi Applied mathematics
92	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2014-09-08 08:04:39 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
93	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
94	Microsoft Word - CoCo Seminar Series flyer Fall 2011.doc Add to Reading List Source URL: coco.binghamton.edu Language: English - Date: 2015-01-26 14:41:29 Models of computation Scientific modeling Science Agent-based model Complex systems Coco Generative Structure Systems science Complex systems theory Systems theory Multi-agent systems
95	Memory Bounded Inference in Topic Models Ryan Gomes GOMES @ VISION . CALTECH . EDU Dept. of Computation and Neural Systems, California Institute of Technology, Pasadena, CAUSA Max Welling Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-12 18:11:33 Estimation theory Expectation–maximization algorithm Missing data Mixture model Latent Dirichlet allocation Dirichlet process Time complexity Calculus of variations Statistics Theoretical computer science Statistical natural language processing
96	A Formalism for Graph Databases and its Model of Computation Juan Reutter and Tony Tan University of Edinburgh Abstract. Graph databases are directed graphs in which the edges are labeled with symbols from a finite alpha Add to Reading List Source URL: alpha.uhasselt.be - Date: 2013-09-27 07:35:34
97	A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-04-29 17:27:13
98	A Programming Model and Language Implementation for Error-Tolerant Networks of Computation Phillip Stanley-Marbell ES Reports Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2008-01-30 02:54:13
99	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
100	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics

UPDATE